KtFunctionSymbol:
  annotationsList: [
    kotlin/OptIn(markerClass = [kotlin.contracts.ExperimentalContracts::class])
      psi: KtAnnotationEntry
  ]
  callableIdIfNonLocal: /referenceReceiverInContract
  contextReceivers: []
  contractEffects: [
    KtContractCallsInPlaceContractEffectDeclaration:
      valueParameterReference:
        KtContractParameterValue:
          parameterSymbol:
            KtReceiverParameterSymbol:
              annotationsList: []
              origin: SOURCE
              owningCallableSymbol: KtFunctionSymbol(/referenceReceiverInContract)
              type: KtFunctionalType:
                annotationsList: []
                ownTypeArguments: [
                  KtUsualClassType:
                    annotationsList: []
                    ownTypeArguments: []
                    type: kotlin/Unit
                ]
                type: kotlin/Function0<kotlin/Unit>
              getContainingModule: KtSourceModule "Sources of main"
              deprecationStatus: null
      occurrencesRange: EXACTLY_ONCE
  ]
  hasStableParameterNames: true
  isBuiltinFunctionInvoke: false
  isExtension: true
  isExternal: false
  isInfix: false
  isInline: false
  isOperator: false
  isOverride: false
  isStatic: false
  isSuspend: false
  modality: FINAL
  name: referenceReceiverInContract
  origin: SOURCE
  receiverParameter: KtReceiverParameterSymbol:
    annotationsList: []
    origin: SOURCE
    owningCallableSymbol: KtFunctionSymbol(/referenceReceiverInContract)
    type: KtFunctionalType:
      annotationsList: []
      ownTypeArguments: [
        KtUsualClassType:
          annotationsList: []
          ownTypeArguments: []
          type: kotlin/Unit
      ]
      type: kotlin/Function0<kotlin/Unit>
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Unit
  symbolKind: TOP_LEVEL
  typeParameters: []
  valueParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null