KtFile: 'operatorsWithContextParameters.kt'
  NO_CANDIDATES

KtPackageDirective(0,0): ''
  NO_CANDIDATES

KtImportList(0,0): ''
  NO_CANDIDATES

KtClass(0,7): 'class A'
  NO_CANDIDATES

KtNamedFunction(9,52): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(9,31): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(9,22): 'context(a: A)'
  NO_CANDIDATES

KtParameter(17,21): 'a: A'
  NO_CANDIDATES

KtTypeReference(20,21): 'A'
  NO_CANDIDATES

KtUserType(20,21): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(20,21): 'A'
  NO_CANDIDATES

KtTypeReference(36,37): 'A'
  NO_CANDIDATES

KtUserType(36,37): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(36,37): 'A'
  NO_CANDIDATES

KtParameterList(47,49): '()'
  NO_CANDIDATES

KtBlockExpression(50,52): '{}'
  NO_CANDIDATES

KtNamedFunction(54,98): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(54,76): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(54,67): 'context(a: A)'
  NO_CANDIDATES

KtParameter(62,66): 'a: A'
  NO_CANDIDATES

KtTypeReference(65,66): 'A'
  NO_CANDIDATES

KtUserType(65,66): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(65,66): 'A'
  NO_CANDIDATES

KtTypeReference(81,82): 'A'
  NO_CANDIDATES

KtUserType(81,82): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(81,82): 'A'
  NO_CANDIDATES

KtParameterList(87,95): '(b: Int)'
  NO_CANDIDATES

KtParameter(88,94): 'b: Int'
  NO_CANDIDATES

KtTypeReference(91,94): 'Int'
  NO_CANDIDATES

KtUserType(91,94): 'Int'
  NO_CANDIDATES

KtNameReferenceExpression(91,94): 'Int'
  NO_CANDIDATES

KtBlockExpression(96,98): '{}'
  NO_CANDIDATES

KtNamedFunction(100,143): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(100,122): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(100,113): 'context(a: A)'
  NO_CANDIDATES

KtParameter(108,112): 'a: A'
  NO_CANDIDATES

KtTypeReference(111,112): 'A'
  NO_CANDIDATES

KtUserType(111,112): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(111,112): 'A'
  NO_CANDIDATES

KtTypeReference(127,128): 'A'
  NO_CANDIDATES

KtUserType(127,128): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(127,128): 'A'
  NO_CANDIDATES

KtParameterList(132,140): '(b: Int)'
  NO_CANDIDATES

KtParameter(133,139): 'b: Int'
  NO_CANDIDATES

KtTypeReference(136,139): 'Int'
  NO_CANDIDATES

KtUserType(136,139): 'Int'
  NO_CANDIDATES

KtNameReferenceExpression(136,139): 'Int'
  NO_CANDIDATES

KtBlockExpression(141,143): '{}'
  NO_CANDIDATES

KtNamedFunction(145,194): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(145,167): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(145,158): 'context(a: A)'
  NO_CANDIDATES

KtParameter(153,157): 'a: A'
  NO_CANDIDATES

KtTypeReference(156,157): 'A'
  NO_CANDIDATES

KtUserType(156,157): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(156,157): 'A'
  NO_CANDIDATES

KtTypeReference(172,173): 'A'
  NO_CANDIDATES

KtUserType(172,173): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(172,173): 'A'
  NO_CANDIDATES

KtParameterList(177,191): '(b: Int, x: A)'
  NO_CANDIDATES

KtParameter(178,184): 'b: Int'
  NO_CANDIDATES

KtTypeReference(181,184): 'Int'
  NO_CANDIDATES

KtUserType(181,184): 'Int'
  NO_CANDIDATES

KtNameReferenceExpression(181,184): 'Int'
  NO_CANDIDATES

KtParameter(186,190): 'x: A'
  NO_CANDIDATES

KtTypeReference(189,190): 'A'
  NO_CANDIDATES

KtUserType(189,190): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(189,190): 'A'
  NO_CANDIDATES

KtBlockExpression(192,194): '{}'
  NO_CANDIDATES

KtNamedFunction(196,236): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(196,218): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(196,209): 'context(a: A)'
  NO_CANDIDATES

KtParameter(204,208): 'a: A'
  NO_CANDIDATES

KtTypeReference(207,208): 'A'
  NO_CANDIDATES

KtUserType(207,208): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(207,208): 'A'
  NO_CANDIDATES

KtTypeReference(223,224): 'A'
  NO_CANDIDATES

KtUserType(223,224): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(223,224): 'A'
  NO_CANDIDATES

KtParameterList(231,233): '()'
  NO_CANDIDATES

KtBlockExpression(234,236): '{}'
  NO_CANDIDATES

KtNamedFunction(238,288): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(238,260): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(238,251): 'context(a: A)'
  NO_CANDIDATES

KtParameter(246,250): 'a: A'
  NO_CANDIDATES

KtTypeReference(249,250): 'A'
  NO_CANDIDATES

KtUserType(249,250): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(249,250): 'A'
  NO_CANDIDATES

KtTypeReference(265,266): 'A'
  NO_CANDIDATES

KtUserType(265,266): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(265,266): 'A'
  NO_CANDIDATES

KtParameterList(277,285): '(b: Int)'
  NO_CANDIDATES

KtParameter(278,284): 'b: Int'
  NO_CANDIDATES

KtTypeReference(281,284): 'Int'
  NO_CANDIDATES

KtUserType(281,284): 'Int'
  NO_CANDIDATES

KtNameReferenceExpression(281,284): 'Int'
  NO_CANDIDATES

KtBlockExpression(286,288): '{}'
  NO_CANDIDATES

KtNamedFunction(290,343): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(290,312): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(290,303): 'context(a: A)'
  NO_CANDIDATES

KtParameter(298,302): 'a: A'
  NO_CANDIDATES

KtTypeReference(301,302): 'A'
  NO_CANDIDATES

KtUserType(301,302): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(301,302): 'A'
  NO_CANDIDATES

KtTypeReference(317,318): 'A'
  NO_CANDIDATES

KtUserType(317,318): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(317,318): 'A'
  NO_CANDIDATES

KtParameterList(322,324): '()'
  NO_CANDIDATES

KtTypeReference(326,327): 'A'
  NO_CANDIDATES

KtUserType(326,327): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(326,327): 'A'
  NO_CANDIDATES

KtBlockExpression(328,343): '{ return this }'
  NO_CANDIDATES

KtReturnExpression(330,341): 'return this'
  NO_CANDIDATES

KtThisExpression(337,341): 'this'
  NO_CANDIDATES

KtNameReferenceExpression(337,341): 'this'
  NO_CANDIDATES

KtClass(345,777): 'class SimpleOperators {'
  NO_CANDIDATES

KtClassBody(367,777): '{'
  NO_CANDIDATES

KtNamedFunction(373,418): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(373,399): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(373,386): 'context(a: A)'
  NO_CANDIDATES

KtParameter(381,385): 'a: A'
  NO_CANDIDATES

KtTypeReference(384,385): 'A'
  NO_CANDIDATES

KtUserType(384,385): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(384,385): 'A'
  NO_CANDIDATES

KtParameterList(413,415): '()'
  NO_CANDIDATES

KtBlockExpression(416,418): '{}'
  NO_CANDIDATES

KtNamedFunction(424,470): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(424,450): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(424,437): 'context(a: A)'
  NO_CANDIDATES

KtParameter(432,436): 'a: A'
  NO_CANDIDATES

KtTypeReference(435,436): 'A'
  NO_CANDIDATES

KtUserType(435,436): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(435,436): 'A'
  NO_CANDIDATES

KtParameterList(459,467): '(b: Int)'
  NO_CANDIDATES

KtParameter(460,466): 'b: Int'
  NO_CANDIDATES

KtTypeReference(463,466): 'Int'
  NO_CANDIDATES

KtUserType(463,466): 'Int'
  NO_CANDIDATES

KtNameReferenceExpression(463,466): 'Int'
  NO_CANDIDATES

KtBlockExpression(468,470): '{}'
  NO_CANDIDATES

KtNamedFunction(476,521): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(476,502): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(476,489): 'context(a: A)'
  NO_CANDIDATES

KtParameter(484,488): 'a: A'
  NO_CANDIDATES

KtTypeReference(487,488): 'A'
  NO_CANDIDATES

KtUserType(487,488): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(487,488): 'A'
  NO_CANDIDATES

KtParameterList(510,518): '(b: Int)'
  NO_CANDIDATES

KtParameter(511,517): 'b: Int'
  NO_CANDIDATES

KtTypeReference(514,517): 'Int'
  NO_CANDIDATES

KtUserType(514,517): 'Int'
  NO_CANDIDATES

KtNameReferenceExpression(514,517): 'Int'
  NO_CANDIDATES

KtBlockExpression(519,521): '{}'
  NO_CANDIDATES

KtNamedFunction(527,578): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(527,553): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(527,540): 'context(a: A)'
  NO_CANDIDATES

KtParameter(535,539): 'a: A'
  NO_CANDIDATES

KtTypeReference(538,539): 'A'
  NO_CANDIDATES

KtUserType(538,539): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(538,539): 'A'
  NO_CANDIDATES

KtParameterList(561,575): '(b: Int, x: A)'
  NO_CANDIDATES

KtParameter(562,568): 'b: Int'
  NO_CANDIDATES

KtTypeReference(565,568): 'Int'
  NO_CANDIDATES

KtUserType(565,568): 'Int'
  NO_CANDIDATES

KtNameReferenceExpression(565,568): 'Int'
  NO_CANDIDATES

KtParameter(570,574): 'x: A'
  NO_CANDIDATES

KtTypeReference(573,574): 'A'
  NO_CANDIDATES

KtUserType(573,574): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(573,574): 'A'
  NO_CANDIDATES

KtBlockExpression(576,578): '{}'
  NO_CANDIDATES

KtNamedFunction(584,626): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(584,610): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(584,597): 'context(a: A)'
  NO_CANDIDATES

KtParameter(592,596): 'a: A'
  NO_CANDIDATES

KtTypeReference(595,596): 'A'
  NO_CANDIDATES

KtUserType(595,596): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(595,596): 'A'
  NO_CANDIDATES

KtParameterList(621,623): '()'
  NO_CANDIDATES

KtBlockExpression(624,626): '{}'
  NO_CANDIDATES

KtNamedFunction(632,684): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(632,658): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(632,645): 'context(a: A)'
  NO_CANDIDATES

KtParameter(640,644): 'a: A'
  NO_CANDIDATES

KtTypeReference(643,644): 'A'
  NO_CANDIDATES

KtUserType(643,644): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(643,644): 'A'
  NO_CANDIDATES

KtParameterList(673,681): '(b: Int)'
  NO_CANDIDATES

KtParameter(674,680): 'b: Int'
  NO_CANDIDATES

KtTypeReference(677,680): 'Int'
  NO_CANDIDATES

KtUserType(677,680): 'Int'
  NO_CANDIDATES

KtNameReferenceExpression(677,680): 'Int'
  NO_CANDIDATES

KtBlockExpression(682,684): '{}'
  NO_CANDIDATES

KtNamedFunction(690,775): 'context(a: A)'
  NO_CANDIDATES

KtDeclarationModifierList(690,716): 'context(a: A)'
  NO_CANDIDATES

KtContextReceiverList(690,703): 'context(a: A)'
  NO_CANDIDATES

KtParameter(698,702): 'a: A'
  NO_CANDIDATES

KtTypeReference(701,702): 'A'
  NO_CANDIDATES

KtUserType(701,702): 'A'
  NO_CANDIDATES

KtNameReferenceExpression(701,702): 'A'
  NO_CANDIDATES

KtParameterList(724,726): '()'
  NO_CANDIDATES

KtTypeReference(728,743): 'SimpleOperators'
  NO_CANDIDATES

KtUserType(728,743): 'SimpleOperators'
  NO_CANDIDATES

KtNameReferenceExpression(728,743): 'SimpleOperators'
  NO_CANDIDATES

KtBlockExpression(744,775): '{ return this@SimpleOperators }'
  NO_CANDIDATES

KtReturnExpression(746,773): 'return this@SimpleOperators'
  NO_CANDIDATES

KtThisExpression(753,773): 'this@SimpleOperators'
  NO_CANDIDATES

KtNameReferenceExpression(753,757): 'this'
  NO_CANDIDATES

KtContainerNode(757,773): '@SimpleOperators'
  NO_CANDIDATES

KtLabelReferenceExpression(757,773): '@SimpleOperators'
  NO_CANDIDATES

KtNamedFunction(779,1231): 'fun usage() {'
  NO_CANDIDATES

KtParameterList(788,790): '()'
  NO_CANDIDATES

KtBlockExpression(791,1231): '{'
  NO_CANDIDATES

KtProperty(797,808): 'var a = A()'
  NO_CANDIDATES

KtCallExpression(805,808): 'A()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(805,806): 'A'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtValueArgumentList(806,808): '()'
  NO_CANDIDATES

KtProperty(813,838): 'var b = SimpleOperators()'
  NO_CANDIDATES

KtCallExpression(821,838): 'SimpleOperators()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = SimpleOperators
        symbol = <constructor>(): SimpleOperators
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(821,836): 'SimpleOperators'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = SimpleOperators
        symbol = <constructor>(): SimpleOperators
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtValueArgumentList(836,838): '()'
  NO_CANDIDATES

KtCallExpression(843,1229): 'with(A()){'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = SimpleOperators
        symbol = kotlin/with(receiver: T, block: T.() -> R): R
        valueParameters = [
          KaVariableSignature:
            name = receiver
            receiverType = null
            returnType = A
            symbol = receiver: T
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = block
            receiverType = null
            returnType = A.() -> SimpleOperators
            symbol = block: T.() -> R
            contextParameters = []
            callableId = null
        ]
        contextParameters = []
        callableId = kotlin/with
      typeArgumentsMapping = {
        T -> (A),
        R -> (SimpleOperators)
      }
      valueArgumentMapping = {
        A() -> (KaVariableSignature:
          name = receiver
          receiverType = null
          returnType = A
          symbol = receiver: T
          contextParameters = []
          callableId = null),
        {
                var thisProp = this
                +thisProp
                +a
                thisProp + 1
                a + 1
                thisProp[1]
                a[1]
                thisProp[1] = A()
                a[1] = A()
                thisProp()
                a()
                thisProp += 1
                a += 1
                thisProp++
                a = a++

                b + 1
                +b
                b[1]
                b[1] = A()
                b()
                b += 1
                b++
            } -> (KaVariableSignature:
          name = block
          receiverType = null
          returnType = A.() -> SimpleOperators
          symbol = block: T.() -> R
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtNameReferenceExpression(843,847): 'with'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = SimpleOperators
        symbol = kotlin/with(receiver: T, block: T.() -> R): R
        valueParameters = [
          KaVariableSignature:
            name = receiver
            receiverType = null
            returnType = A
            symbol = receiver: T
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = block
            receiverType = null
            returnType = A.() -> SimpleOperators
            symbol = block: T.() -> R
            contextParameters = []
            callableId = null
        ]
        contextParameters = []
        callableId = kotlin/with
      typeArgumentsMapping = {
        T -> (A),
        R -> (SimpleOperators)
      }
      valueArgumentMapping = {
        A() -> (KaVariableSignature:
          name = receiver
          receiverType = null
          returnType = A
          symbol = receiver: T
          contextParameters = []
          callableId = null),
        {
                var thisProp = this
                +thisProp
                +a
                thisProp + 1
                a + 1
                thisProp[1]
                a[1]
                thisProp[1] = A()
                a[1] = A()
                thisProp()
                a()
                thisProp += 1
                a += 1
                thisProp++
                a = a++

                b + 1
                +b
                b[1]
                b[1] = A()
                b()
                b += 1
                b++
            } -> (KaVariableSignature:
          name = block
          receiverType = null
          returnType = A.() -> SimpleOperators
          symbol = block: T.() -> R
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtValueArgumentList(847,852): '(A())'
  NO_CANDIDATES

KtValueArgument(848,851): 'A()'
  NO_CANDIDATES

KtCallExpression(848,851): 'A()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(848,849): 'A'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtValueArgumentList(849,851): '()'
  NO_CANDIDATES

KtLambdaArgument(852,1229): '{'
  NO_CANDIDATES

KtLambdaExpression(852,1229): '{'
  NO_CANDIDATES

KtFunctionLiteral(852,1229): '{'
  NO_CANDIDATES

KtBlockExpression(862,1223): 'var thisProp = this'
  NO_CANDIDATES

KtProperty(862,881): 'var thisProp = this'
  NO_CANDIDATES

KtThisExpression(877,881): 'this'
  NO_CANDIDATES

KtNameReferenceExpression(877,881): 'this'
  NO_CANDIDATES

KtPrefixExpression(890,899): '+thisProp'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = thisProp
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /unaryPlus(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(890,891): '+'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = thisProp
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /unaryPlus(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(891,899): 'thisProp'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = thisProp
        receiverType = null
        returnType = A
        symbol = var thisProp: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtPrefixExpression(908,910): '+a'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /unaryPlus(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(908,909): '+'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /unaryPlus(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(909,910): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtBinaryExpression(919,931): 'thisProp + 1'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = thisProp
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plus(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtNameReferenceExpression(919,927): 'thisProp'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = thisProp
        receiverType = null
        returnType = A
        symbol = var thisProp: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(928,929): '+'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = thisProp
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plus(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtConstantExpression(930,931): '1'
  NO_CANDIDATES

KtBinaryExpression(940,945): 'a + 1'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plus(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtNameReferenceExpression(940,941): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(942,943): '+'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plus(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtConstantExpression(944,945): '1'
  NO_CANDIDATES

KtArrayAccessExpression(954,965): 'thisProp[1]'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = thisProp
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /get(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /get
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtNameReferenceExpression(954,962): 'thisProp'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = thisProp
        receiverType = null
        returnType = A
        symbol = var thisProp: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtContainerNode(962,965): '[1]'
  NO_CANDIDATES

KtConstantExpression(963,964): '1'
  NO_CANDIDATES

KtArrayAccessExpression(974,978): 'a[1]'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /get(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /get
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtNameReferenceExpression(974,975): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtContainerNode(975,978): '[1]'
  NO_CANDIDATES

KtConstantExpression(976,977): '1'
  NO_CANDIDATES

KtBinaryExpression(987,1004): 'thisProp[1] = A()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = thisProp
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtArrayAccessExpression(987,998): 'thisProp[1]'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = thisProp
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtNameReferenceExpression(987,995): 'thisProp'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = thisProp
        receiverType = null
        returnType = A
        symbol = var thisProp: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtContainerNode(995,998): '[1]'
  NO_CANDIDATES

KtConstantExpression(996,997): '1'
  NO_CANDIDATES

KtOperationReferenceExpression(999,1000): '='
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = thisProp
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtCallExpression(1001,1004): 'A()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1001,1002): 'A'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1002,1004): '()'
  NO_CANDIDATES

KtBinaryExpression(1013,1023): 'a[1] = A()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtArrayAccessExpression(1013,1017): 'a[1]'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtNameReferenceExpression(1013,1014): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtContainerNode(1014,1017): '[1]'
  NO_CANDIDATES

KtConstantExpression(1015,1016): '1'
  NO_CANDIDATES

KtOperationReferenceExpression(1018,1019): '='
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtCallExpression(1020,1023): 'A()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1020,1021): 'A'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1021,1023): '()'
  NO_CANDIDATES

KtCallExpression(1032,1042): 'thisProp()'
  KaApplicableCallCandidate:
    candidate = KaImplicitInvokeCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = thisProp
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /invoke(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /invoke
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1032,1040): 'thisProp'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = thisProp
        receiverType = null
        returnType = A
        symbol = var thisProp: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1040,1042): '()'
  NO_CANDIDATES

KtCallExpression(1051,1054): 'a()'
  KaApplicableCallCandidate:
    candidate = KaImplicitInvokeCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /invoke(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /invoke
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1051,1052): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1052,1054): '()'
  NO_CANDIDATES

KtBinaryExpression(1063,1076): 'thisProp += 1'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = thisProp
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plusAssign(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtNameReferenceExpression(1063,1071): 'thisProp'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = thisProp
        receiverType = null
        returnType = A
        symbol = var thisProp: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1072,1074): '+='
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = thisProp
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plusAssign(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtConstantExpression(1075,1076): '1'
  NO_CANDIDATES

KtBinaryExpression(1085,1091): 'a += 1'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plusAssign(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtNameReferenceExpression(1085,1086): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1087,1089): '+='
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plusAssign(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

KtConstantExpression(1090,1091): '1'
  NO_CANDIDATES

KtPostfixExpression(1100,1110): 'thisProp++'
  KaApplicableCallCandidate:
    candidate = KaCompoundVariableAccessCall:
      compoundOperation = KaCompoundUnaryOperation:
        kind = INC
        operationCall = KaSimpleFunctionCall:
          contextArgumentMapping = {}
          contextArguments = [
            KaImplicitReceiverValue:
              symbol = KaReceiverParameterSymbol:
                anchorPsi: KtFunctionLiteral
                annotations: []
                callableId: null
                contextParameters: []
                contextReceivers: []
                isActual: false
                isCompanion: false
                isDelegated: false
                isExpect: false
                isExtension: false
                isExternal: false
                isVal: true
                location: LOCAL
                modality: FINAL
                name: <receiver>
                origin: SOURCE
                owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
                psi: KtFunctionLiteral
                realPsi: KtFunctionLiteral
                receiverParameter: null
                returnType: KaUsualClassType:
                  annotations: []
                  typeArguments: []
                  type: A
                typeParameters: []
                visibility: PUBLIC
              type = A
          ]
          dispatchReceiver = null
          extensionReceiver = KaExplicitReceiverValue:
            expression = thisProp
            isSafeNavigation = false
            type = A
          signature = KaFunctionSignature:
            receiverType = A
            returnType = A
            symbol = /inc(<extension receiver>: A): A
            valueParameters = []
            contextParameters = [
              KaVariableSignature:
                name = a
                receiverType = null
                returnType = A
                symbol = a: A
                contextParameters = []
                callableId = null
            ]
            callableId = /inc
          typeArgumentsMapping = {}
          valueArgumentMapping = {}
        precedence = POSTFIX
      variableCall = KaSimpleVariableAccessCall:
        contextArguments = []
        dispatchReceiver = null
        extensionReceiver = null
        isContextSensitive = false
        kind = Read
        signature = KaVariableSignature:
          name = thisProp
          receiverType = null
          returnType = A
          symbol = var thisProp: A
          contextParameters = []
          callableId = null
        typeArgumentsMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1100,1108): 'thisProp'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = thisProp
        receiverType = null
        returnType = A
        symbol = var thisProp: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1108,1110): '++'
  KaApplicableCallCandidate:
    candidate = KaCompoundVariableAccessCall:
      compoundOperation = KaCompoundUnaryOperation:
        kind = INC
        operationCall = KaSimpleFunctionCall:
          contextArgumentMapping = {}
          contextArguments = [
            KaImplicitReceiverValue:
              symbol = KaReceiverParameterSymbol:
                anchorPsi: KtFunctionLiteral
                annotations: []
                callableId: null
                contextParameters: []
                contextReceivers: []
                isActual: false
                isCompanion: false
                isDelegated: false
                isExpect: false
                isExtension: false
                isExternal: false
                isVal: true
                location: LOCAL
                modality: FINAL
                name: <receiver>
                origin: SOURCE
                owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
                psi: KtFunctionLiteral
                realPsi: KtFunctionLiteral
                receiverParameter: null
                returnType: KaUsualClassType:
                  annotations: []
                  typeArguments: []
                  type: A
                typeParameters: []
                visibility: PUBLIC
              type = A
          ]
          dispatchReceiver = null
          extensionReceiver = KaExplicitReceiverValue:
            expression = thisProp
            isSafeNavigation = false
            type = A
          signature = KaFunctionSignature:
            receiverType = A
            returnType = A
            symbol = /inc(<extension receiver>: A): A
            valueParameters = []
            contextParameters = [
              KaVariableSignature:
                name = a
                receiverType = null
                returnType = A
                symbol = a: A
                contextParameters = []
                callableId = null
            ]
            callableId = /inc
          typeArgumentsMapping = {}
          valueArgumentMapping = {}
        precedence = POSTFIX
      variableCall = KaSimpleVariableAccessCall:
        contextArguments = []
        dispatchReceiver = null
        extensionReceiver = null
        isContextSensitive = false
        kind = Read
        signature = KaVariableSignature:
          name = thisProp
          receiverType = null
          returnType = A
          symbol = var thisProp: A
          contextParameters = []
          callableId = null
        typeArgumentsMapping = {}
    isInBestCandidates = true

KtBinaryExpression(1119,1126): 'a = a++'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Write:
        value = a++
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1119,1120): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Write:
        value = a++
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1121,1122): '='
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Write:
        value = a++
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtPostfixExpression(1123,1126): 'a++'
  KaApplicableCallCandidate:
    candidate = KaCompoundVariableAccessCall:
      compoundOperation = KaCompoundUnaryOperation:
        kind = INC
        operationCall = KaSimpleFunctionCall:
          contextArgumentMapping = {}
          contextArguments = [
            KaImplicitReceiverValue:
              symbol = KaReceiverParameterSymbol:
                anchorPsi: KtFunctionLiteral
                annotations: []
                callableId: null
                contextParameters: []
                contextReceivers: []
                isActual: false
                isCompanion: false
                isDelegated: false
                isExpect: false
                isExtension: false
                isExternal: false
                isVal: true
                location: LOCAL
                modality: FINAL
                name: <receiver>
                origin: SOURCE
                owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
                psi: KtFunctionLiteral
                realPsi: KtFunctionLiteral
                receiverParameter: null
                returnType: KaUsualClassType:
                  annotations: []
                  typeArguments: []
                  type: A
                typeParameters: []
                visibility: PUBLIC
              type = A
          ]
          dispatchReceiver = null
          extensionReceiver = KaExplicitReceiverValue:
            expression = a
            isSafeNavigation = false
            type = A
          signature = KaFunctionSignature:
            receiverType = A
            returnType = A
            symbol = /inc(<extension receiver>: A): A
            valueParameters = []
            contextParameters = [
              KaVariableSignature:
                name = a
                receiverType = null
                returnType = A
                symbol = a: A
                contextParameters = []
                callableId = null
            ]
            callableId = /inc
          typeArgumentsMapping = {}
          valueArgumentMapping = {}
        precedence = POSTFIX
      variableCall = KaSimpleVariableAccessCall:
        contextArguments = []
        dispatchReceiver = null
        extensionReceiver = null
        isContextSensitive = false
        kind = Read
        signature = KaVariableSignature:
          name = a
          receiverType = null
          returnType = A
          symbol = var a: A
          contextParameters = []
          callableId = null
        typeArgumentsMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1123,1124): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1124,1126): '++'
  KaApplicableCallCandidate:
    candidate = KaCompoundVariableAccessCall:
      compoundOperation = KaCompoundUnaryOperation:
        kind = INC
        operationCall = KaSimpleFunctionCall:
          contextArgumentMapping = {}
          contextArguments = [
            KaImplicitReceiverValue:
              symbol = KaReceiverParameterSymbol:
                anchorPsi: KtFunctionLiteral
                annotations: []
                callableId: null
                contextParameters: []
                contextReceivers: []
                isActual: false
                isCompanion: false
                isDelegated: false
                isExpect: false
                isExtension: false
                isExternal: false
                isVal: true
                location: LOCAL
                modality: FINAL
                name: <receiver>
                origin: SOURCE
                owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
                psi: KtFunctionLiteral
                realPsi: KtFunctionLiteral
                receiverParameter: null
                returnType: KaUsualClassType:
                  annotations: []
                  typeArguments: []
                  type: A
                typeParameters: []
                visibility: PUBLIC
              type = A
          ]
          dispatchReceiver = null
          extensionReceiver = KaExplicitReceiverValue:
            expression = a
            isSafeNavigation = false
            type = A
          signature = KaFunctionSignature:
            receiverType = A
            returnType = A
            symbol = /inc(<extension receiver>: A): A
            valueParameters = []
            contextParameters = [
              KaVariableSignature:
                name = a
                receiverType = null
                returnType = A
                symbol = a: A
                contextParameters = []
                callableId = null
            ]
            callableId = /inc
          typeArgumentsMapping = {}
          valueArgumentMapping = {}
        precedence = POSTFIX
      variableCall = KaSimpleVariableAccessCall:
        contextArguments = []
        dispatchReceiver = null
        extensionReceiver = null
        isContextSensitive = false
        kind = Read
        signature = KaVariableSignature:
          name = a
          receiverType = null
          returnType = A
          symbol = var a: A
          contextParameters = []
          callableId = null
        typeArgumentsMapping = {}
    isInBestCandidates = true

KtBinaryExpression(1136,1141): 'b + 1'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.plus(<dispatch receiver>: SimpleOperators, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plus(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.plus(b: Int): Unit' is inapplicable for operator '+' because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1136,1137): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1138,1139): '+'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.plus(<dispatch receiver>: SimpleOperators, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plus(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.plus(b: Int): Unit' is inapplicable for operator '+' because of a receiver type mismatch.>
    isInBestCandidates = false

KtConstantExpression(1140,1141): '1'
  NO_CANDIDATES

KtPrefixExpression(1150,1152): '+b'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.unaryPlus(<dispatch receiver>: SimpleOperators): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /unaryPlus(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.unaryPlus(): Unit' is inapplicable for operator '+' because of a receiver type mismatch.>
    isInBestCandidates = false

KtOperationReferenceExpression(1150,1151): '+'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.unaryPlus(<dispatch receiver>: SimpleOperators): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /unaryPlus(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.unaryPlus(): Unit' is inapplicable for operator '+' because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1151,1152): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtArrayAccessExpression(1161,1165): 'b[1]'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.get(<dispatch receiver>: SimpleOperators, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.get
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /get(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /get
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.get(b: Int): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1161,1162): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtContainerNode(1162,1165): '[1]'
  NO_CANDIDATES

KtConstantExpression(1163,1164): '1'
  NO_CANDIDATES

KtBinaryExpression(1174,1184): 'b[1] = A()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.set(<dispatch receiver>: SimpleOperators, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.set(b: Int, x: A): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtArrayAccessExpression(1174,1178): 'b[1]'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.set(<dispatch receiver>: SimpleOperators, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.set(b: Int, x: A): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1174,1175): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtContainerNode(1175,1178): '[1]'
  NO_CANDIDATES

KtConstantExpression(1176,1177): '1'
  NO_CANDIDATES

KtOperationReferenceExpression(1179,1180): '='
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.set(<dispatch receiver>: SimpleOperators, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.set(b: Int, x: A): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtCallExpression(1181,1184): 'A()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1181,1182): 'A'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1182,1184): '()'
  NO_CANDIDATES

KtCallExpression(1193,1196): 'b()'
  KaApplicableCallCandidate:
    candidate = KaImplicitInvokeCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.invoke(<dispatch receiver>: SimpleOperators): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.invoke
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaImplicitInvokeCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /invoke(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /invoke
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.invoke(): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1193,1194): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1194,1196): '()'
  NO_CANDIDATES

KtBinaryExpression(1205,1211): 'b += 1'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.plusAssign(<dispatch receiver>: SimpleOperators, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plusAssign(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.plusAssign(b: Int): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1205,1206): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1207,1209): '+='
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = [
        KaImplicitReceiverValue:
          symbol = KaReceiverParameterSymbol:
            anchorPsi: KtFunctionLiteral
            annotations: []
            callableId: null
            contextParameters: []
            contextReceivers: []
            isActual: false
            isCompanion: false
            isDelegated: false
            isExpect: false
            isExtension: false
            isExternal: false
            isVal: true
            location: LOCAL
            modality: FINAL
            name: <receiver>
            origin: SOURCE
            owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
            psi: KtFunctionLiteral
            realPsi: KtFunctionLiteral
            receiverParameter: null
            returnType: KaUsualClassType:
              annotations: []
              typeArguments: []
              type: A
            typeParameters: []
            visibility: PUBLIC
          type = A
      ]
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.plusAssign(<dispatch receiver>: SimpleOperators, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plusAssign(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.plusAssign(b: Int): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtConstantExpression(1210,1211): '1'
  NO_CANDIDATES

KtPostfixExpression(1220,1223): 'b++'
  KaApplicableCallCandidate:
    candidate = KaCompoundVariableAccessCall:
      compoundOperation = KaCompoundUnaryOperation:
        kind = INC
        operationCall = KaSimpleFunctionCall:
          contextArgumentMapping = {}
          contextArguments = [
            KaImplicitReceiverValue:
              symbol = KaReceiverParameterSymbol:
                anchorPsi: KtFunctionLiteral
                annotations: []
                callableId: null
                contextParameters: []
                contextReceivers: []
                isActual: false
                isCompanion: false
                isDelegated: false
                isExpect: false
                isExtension: false
                isExternal: false
                isVal: true
                location: LOCAL
                modality: FINAL
                name: <receiver>
                origin: SOURCE
                owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
                psi: KtFunctionLiteral
                realPsi: KtFunctionLiteral
                receiverParameter: null
                returnType: KaUsualClassType:
                  annotations: []
                  typeArguments: []
                  type: A
                typeParameters: []
                visibility: PUBLIC
              type = A
          ]
          dispatchReceiver = KaExplicitReceiverValue:
            expression = b
            isSafeNavigation = false
            type = SimpleOperators
          extensionReceiver = null
          signature = KaFunctionSignature:
            receiverType = null
            returnType = SimpleOperators
            symbol = /SimpleOperators.inc(<dispatch receiver>: SimpleOperators): SimpleOperators
            valueParameters = []
            contextParameters = [
              KaVariableSignature:
                name = a
                receiverType = null
                returnType = A
                symbol = a: A
                contextParameters = []
                callableId = null
            ]
            callableId = /SimpleOperators.inc
          typeArgumentsMapping = {}
          valueArgumentMapping = {}
        precedence = POSTFIX
      variableCall = KaSimpleVariableAccessCall:
        contextArguments = []
        dispatchReceiver = null
        extensionReceiver = null
        isContextSensitive = false
        kind = Read
        signature = KaVariableSignature:
          name = b
          receiverType = null
          returnType = SimpleOperators
          symbol = var b: SimpleOperators
          contextParameters = []
          callableId = null
        typeArgumentsMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1220,1221): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1221,1223): '++'
  KaApplicableCallCandidate:
    candidate = KaCompoundVariableAccessCall:
      compoundOperation = KaCompoundUnaryOperation:
        kind = INC
        operationCall = KaSimpleFunctionCall:
          contextArgumentMapping = {}
          contextArguments = [
            KaImplicitReceiverValue:
              symbol = KaReceiverParameterSymbol:
                anchorPsi: KtFunctionLiteral
                annotations: []
                callableId: null
                contextParameters: []
                contextReceivers: []
                isActual: false
                isCompanion: false
                isDelegated: false
                isExpect: false
                isExtension: false
                isExternal: false
                isVal: true
                location: LOCAL
                modality: FINAL
                name: <receiver>
                origin: SOURCE
                owningCallableSymbol: KaAnonymousFunctionSymbol(<local>/<no name provided>)
                psi: KtFunctionLiteral
                realPsi: KtFunctionLiteral
                receiverParameter: null
                returnType: KaUsualClassType:
                  annotations: []
                  typeArguments: []
                  type: A
                typeParameters: []
                visibility: PUBLIC
              type = A
          ]
          dispatchReceiver = KaExplicitReceiverValue:
            expression = b
            isSafeNavigation = false
            type = SimpleOperators
          extensionReceiver = null
          signature = KaFunctionSignature:
            receiverType = null
            returnType = SimpleOperators
            symbol = /SimpleOperators.inc(<dispatch receiver>: SimpleOperators): SimpleOperators
            valueParameters = []
            contextParameters = [
              KaVariableSignature:
                name = a
                receiverType = null
                returnType = A
                symbol = a: A
                contextParameters = []
                callableId = null
            ]
            callableId = /SimpleOperators.inc
          typeArgumentsMapping = {}
          valueArgumentMapping = {}
        precedence = POSTFIX
      variableCall = KaSimpleVariableAccessCall:
        contextArguments = []
        dispatchReceiver = null
        extensionReceiver = null
        isContextSensitive = false
        kind = Read
        signature = KaVariableSignature:
          name = b
          receiverType = null
          returnType = SimpleOperators
          symbol = var b: SimpleOperators
          contextParameters = []
          callableId = null
        typeArgumentsMapping = {}
    isInBestCandidates = true

KtNamedFunction(1233,1441): 'fun withoutContext() {'
  NO_CANDIDATES

KtParameterList(1251,1253): '()'
  NO_CANDIDATES

KtBlockExpression(1254,1441): '{'
  NO_CANDIDATES

KtProperty(1260,1271): 'var a = A()'
  NO_CANDIDATES

KtCallExpression(1268,1271): 'A()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1268,1269): 'A'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1269,1271): '()'
  NO_CANDIDATES

KtProperty(1276,1301): 'var b = SimpleOperators()'
  NO_CANDIDATES

KtCallExpression(1284,1301): 'SimpleOperators()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = SimpleOperators
        symbol = <constructor>(): SimpleOperators
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1284,1299): 'SimpleOperators'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = SimpleOperators
        symbol = <constructor>(): SimpleOperators
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1299,1301): '()'
  NO_CANDIDATES

KtPrefixExpression(1307,1309): '+a'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /unaryPlus(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

KtOperationReferenceExpression(1307,1308): '+'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /unaryPlus(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

KtNameReferenceExpression(1308,1309): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtBinaryExpression(1314,1319): 'a + 1'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plus(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

KtNameReferenceExpression(1314,1315): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1316,1317): '+'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plus(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

KtConstantExpression(1318,1319): '1'
  NO_CANDIDATES

KtArrayAccessExpression(1324,1328): 'a[1]'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /get(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /get
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

KtNameReferenceExpression(1324,1325): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtContainerNode(1325,1328): '[1]'
  NO_CANDIDATES

KtConstantExpression(1326,1327): '1'
  NO_CANDIDATES

KtBinaryExpression(1333,1343): 'a[1] = A()'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

KtArrayAccessExpression(1333,1337): 'a[1]'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

KtNameReferenceExpression(1333,1334): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtContainerNode(1334,1337): '[1]'
  NO_CANDIDATES

KtConstantExpression(1335,1336): '1'
  NO_CANDIDATES

KtOperationReferenceExpression(1338,1339): '='
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

KtCallExpression(1340,1343): 'A()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1340,1341): 'A'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1341,1343): '()'
  NO_CANDIDATES

KtCallExpression(1348,1351): 'a()'
  KaInapplicableCallCandidate:
    candidate = KaImplicitInvokeCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /invoke(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /invoke
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

KtNameReferenceExpression(1348,1349): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1349,1351): '()'
  NO_CANDIDATES

KtBinaryExpression(1356,1362): 'a += 1'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plusAssign(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

KtNameReferenceExpression(1356,1357): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1358,1360): '+='
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plusAssign(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

KtConstantExpression(1361,1362): '1'
  NO_CANDIDATES

KtPostfixExpression(1367,1370): 'a++'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a++
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = A
        symbol = /inc(<extension receiver>: A): A
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /inc
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1367,1368): 'a'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1368,1370): '++'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = a++
        isSafeNavigation = false
        type = A
      signature = KaFunctionSignature:
        receiverType = A
        returnType = A
        symbol = /inc(<extension receiver>: A): A
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /inc
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = a
        receiverType = null
        returnType = A
        symbol = var a: A
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtBinaryExpression(1376,1381): 'b + 1'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.plus(<dispatch receiver>: SimpleOperators, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plus(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.plus(b: Int): Unit' is inapplicable for operator '+' because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1376,1377): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1378,1379): '+'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.plus(<dispatch receiver>: SimpleOperators, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plus(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plus
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.plus(b: Int): Unit' is inapplicable for operator '+' because of a receiver type mismatch.>
    isInBestCandidates = false

KtConstantExpression(1380,1381): '1'
  NO_CANDIDATES

KtPrefixExpression(1386,1388): '+b'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.unaryPlus(<dispatch receiver>: SimpleOperators): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /unaryPlus(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.unaryPlus(): Unit' is inapplicable for operator '+' because of a receiver type mismatch.>
    isInBestCandidates = false

KtOperationReferenceExpression(1386,1387): '+'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.unaryPlus(<dispatch receiver>: SimpleOperators): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /unaryPlus(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /unaryPlus
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.unaryPlus(): Unit' is inapplicable for operator '+' because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1387,1388): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtArrayAccessExpression(1393,1397): 'b[1]'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.get(<dispatch receiver>: SimpleOperators, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.get
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /get(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /get
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.get(b: Int): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1393,1394): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtContainerNode(1394,1397): '[1]'
  NO_CANDIDATES

KtConstantExpression(1395,1396): '1'
  NO_CANDIDATES

KtBinaryExpression(1402,1412): 'b[1] = A()'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.set(<dispatch receiver>: SimpleOperators, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.set(b: Int, x: A): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtArrayAccessExpression(1402,1406): 'b[1]'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.set(<dispatch receiver>: SimpleOperators, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.set(b: Int, x: A): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1402,1403): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtContainerNode(1403,1406): '[1]'
  NO_CANDIDATES

KtConstantExpression(1404,1405): '1'
  NO_CANDIDATES

KtOperationReferenceExpression(1407,1408): '='
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.set(<dispatch receiver>: SimpleOperators, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /set(<extension receiver>: A, b: kotlin.Int, x: A): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null,
          KaVariableSignature:
            name = x
            receiverType = null
            returnType = A
            symbol = x: A
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /set
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null),
        A() -> (KaVariableSignature:
          name = x
          receiverType = null
          returnType = A
          symbol = x: A
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.set(b: Int, x: A): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtCallExpression(1409,1412): 'A()'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1409,1410): 'A'
  KaApplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = A
        symbol = <constructor>(): A
        valueParameters = []
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1410,1412): '()'
  NO_CANDIDATES

KtCallExpression(1417,1420): 'b()'
  KaInapplicableCallCandidate:
    candidate = KaImplicitInvokeCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.invoke(<dispatch receiver>: SimpleOperators): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.invoke
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaImplicitInvokeCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /invoke(<extension receiver>: A): kotlin.Unit
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /invoke
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.invoke(): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1417,1418): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtValueArgumentList(1418,1420): '()'
  NO_CANDIDATES

KtBinaryExpression(1425,1431): 'b += 1'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.plusAssign(<dispatch receiver>: SimpleOperators, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plusAssign(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.plusAssign(b: Int): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtNameReferenceExpression(1425,1426): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1427,1429): '+='
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = kotlin.Unit
        symbol = /SimpleOperators.plusAssign(<dispatch receiver>: SimpleOperators, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = KaExplicitReceiverValue:
        expression = b
        isSafeNavigation = false
        type = SimpleOperators
      signature = KaFunctionSignature:
        receiverType = A
        returnType = kotlin.Unit
        symbol = /plusAssign(<extension receiver>: A, b: kotlin.Int): kotlin.Unit
        valueParameters = [
          KaVariableSignature:
            name = b
            receiverType = null
            returnType = kotlin.Int
            symbol = b: kotlin.Int
            contextParameters = []
            callableId = null
        ]
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /plusAssign
      typeArgumentsMapping = {}
      valueArgumentMapping = {
        1 -> (KaVariableSignature:
          name = b
          receiverType = null
          returnType = kotlin.Int
          symbol = b: kotlin.Int
          contextParameters = []
          callableId = null)
      }
    diagnostic = ERROR<UNRESOLVED_REFERENCE_WRONG_RECEIVER: Candidate 'context(a: A) fun A.plusAssign(b: Int): Unit' is inapplicable because of a receiver type mismatch.>
    isInBestCandidates = false

KtConstantExpression(1430,1431): '1'
  NO_CANDIDATES

KtPostfixExpression(1436,1439): 'b++'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b++
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = SimpleOperators
        symbol = /SimpleOperators.inc(<dispatch receiver>: SimpleOperators): SimpleOperators
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.inc
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtNameReferenceExpression(1436,1437): 'b'
  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true

KtOperationReferenceExpression(1437,1439): '++'
  KaInapplicableCallCandidate:
    candidate = KaSimpleFunctionCall:
      contextArgumentMapping = {}
      contextArguments = []
      dispatchReceiver = KaExplicitReceiverValue:
        expression = b++
        isSafeNavigation = false
        type = SimpleOperators
      extensionReceiver = null
      signature = KaFunctionSignature:
        receiverType = null
        returnType = SimpleOperators
        symbol = /SimpleOperators.inc(<dispatch receiver>: SimpleOperators): SimpleOperators
        valueParameters = []
        contextParameters = [
          KaVariableSignature:
            name = a
            receiverType = null
            returnType = A
            symbol = a: A
            contextParameters = []
            callableId = null
        ]
        callableId = /SimpleOperators.inc
      typeArgumentsMapping = {}
      valueArgumentMapping = {}
    diagnostic = ERROR<NO_CONTEXT_ARGUMENT: No context argument for 'a: A' found.>
    isInBestCandidates = true

  KaApplicableCallCandidate:
    candidate = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = b
        receiverType = null
        returnType = SimpleOperators
        symbol = var b: SimpleOperators
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}
    isInBestCandidates = true
