KtNamedClassOrObjectSymbol:
  annotationsList: []
  classIdIfNonLocal: ReceiverAnnotation
  classKind: ANNOTATION_CLASS
  companionObject: null
  contextReceivers: []
  isData: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  modality: FINAL
  name: ReceiverAnnotation
  origin: SOURCE
  superTypes: [
    kotlin/Annotation
  ]
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtNamedClassOrObjectSymbol:
  annotationsList: [
    kotlin/annotation/Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
      psi: KtAnnotationEntry
  ]
  classIdIfNonLocal: ReceiverTypeAnnotation
  classKind: ANNOTATION_CLASS
  companionObject: null
  contextReceivers: []
  isData: false
  isExternal: false
  isFun: false
  isInline: false
  isInner: false
  modality: FINAL
  name: ReceiverTypeAnnotation
  origin: SOURCE
  superTypes: [
    kotlin/Annotation
  ]
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtFunctionSymbol:
  annotationsList: []
  callableIdIfNonLocal: /foo
  contextReceivers: []
  hasStableParameterNames: true
  isBuiltinFunctionInvoke: false
  isExtension: true
  isExternal: false
  isInfix: false
  isInline: false
  isOperator: false
  isOverride: false
  isStatic: false
  isSuspend: false
  modality: FINAL
  name: foo
  origin: SOURCE
  receiverType: [
    ReceiverAnnotation()
      psi: KtAnnotationEntry
    ReceiverTypeAnnotation()
      psi: KtAnnotationEntry
  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Int
  returnType: kotlin/Unit
  symbolKind: TOP_LEVEL
  typeParameters: []
  valueParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtPropertyGetterSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  contextReceivers: []
  hasBody: true
  hasStableParameterNames: true
  isDefault: false
  isExtension: false
  isInline: false
  isOverride: false
  modality: FINAL
  origin: SOURCE
  receiverType: [
    ReceiverAnnotation()
      psi: KtAnnotationEntry
    ReceiverTypeAnnotation()
      psi: KtAnnotationEntry
  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
  returnType: kotlin/Boolean
  symbolKind: ACCESSOR
  typeParameters: []
  valueParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtKotlinPropertySymbol:
  annotationsList: []
  callableIdIfNonLocal: /prop
  contextReceivers: []
  getter: KtPropertyGetterSymbol:
    annotationsList: []
    callableIdIfNonLocal: null
    contextReceivers: []
    hasBody: true
    hasStableParameterNames: true
    isDefault: false
    isExtension: false
    isInline: false
    isOverride: false
    modality: FINAL
    origin: SOURCE
    receiverType: [
      ReceiverAnnotation()
        psi: KtAnnotationEntry
      ReceiverTypeAnnotation()
        psi: KtAnnotationEntry
    ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
    returnType: kotlin/Boolean
    symbolKind: ACCESSOR
    typeParameters: []
    valueParameters: []
    visibility: Public
  hasBackingField: false
  hasGetter: true
  hasSetter: false
  initializer: null
  isConst: false
  isDelegatedProperty: false
  isExtension: true
  isFromPrimaryConstructor: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: true
  modality: FINAL
  name: prop
  origin: SOURCE
  receiverType: [
    ReceiverAnnotation()
      psi: KtAnnotationEntry
    ReceiverTypeAnnotation()
      psi: KtAnnotationEntry
  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
  returnType: kotlin/Boolean
  setter: null
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
  getterDeprecationStatus: null
  javaGetterName: getProp
  javaSetterName: null
  setterDeprecationStatus: null