KtKotlinPropertySymbol:
  annotationsList: []
  callableIdIfNonLocal: /foo
  contextReceivers: []
  getter: KtPropertyGetterSymbol:
    annotationsList: []
    callableIdIfNonLocal: null
    contextReceivers: []
    hasBody: false
    hasStableParameterNames: true
    isDefault: true
    isExtension: false
    isInline: false
    isOverride: false
    modality: FINAL
    origin: SOURCE
    receiverParameter: KtReceiverParameterSymbol:
      annotationsList: []
      origin: SOURCE
      owningCallableSymbol: KtKotlinPropertySymbol(/foo)
      type: [
        Anno1()
          psi: KtAnnotationEntry
        Anno2()
          psi: KtAnnotationEntry
        Anno3()
          psi: KtAnnotationEntry
      ] @R|Anno1|()  @R|Anno2|()  @R|Anno3|()  BaseInterface
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
    returnType: kotlin/Int
    symbolKind: ACCESSOR
    typeParameters: []
    valueParameters: []
    visibility: Public
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  hasBackingField: true
  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: foo
  origin: SOURCE
  receiverParameter: KtReceiverParameterSymbol:
    annotationsList: []
    origin: SOURCE
    owningCallableSymbol: KtKotlinPropertySymbol(/foo)
    type: [
      Anno1()
        psi: KtAnnotationEntry
      Anno2()
        psi: KtAnnotationEntry
      Anno3()
        psi: KtAnnotationEntry
    ] @R|Anno1|()  @R|Anno2|()  @R|Anno3|()  BaseInterface
    getContainingModule: KtSourceModule "Sources of main"
    deprecationStatus: null
  returnType: kotlin/Int
  setter: null
  symbolKind: TOP_LEVEL
  typeParameters: []
  visibility: Public
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
  getterDeprecationStatus: null
  javaGetterName: getFoo
  javaSetterName: null
  setterDeprecationStatus: null