KaKotlinPropertySymbol:
  anchorPsi: KtProperty
  annotations: []
  backingFieldSymbol: KaBackingFieldSymbol:
    anchorPsi: KtBackingField
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    isActual: false
    isCompanion: false
    isDelegated: false
    isExpect: false
    isExtension: false
    isExternal: false
    isNotDefault: true
    isVal: true
    location: PROPERTY
    modality: FINAL
    name: field
    origin: PROPERTY_BACKING_FIELD
    owningProperty: KaKotlinPropertySymbol(/Foo.value)
    psi: KtBackingField
    realPsi: KtBackingField
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: [
        KaUsualClassType:
          annotations: []
          typeArguments: []
          type: kotlin/String
      ]
      type: kotlin/collections/MutableList<kotlin/String>
    typeParameters: []
    visibility: PRIVATE
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: Foo
    getContainingFileSymbol: KaFileSymbol(explicitBackingFieldSmartcast.kt)
    getContainingJvmClassName: Foo
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    importableFqName: null
  callableId: /Foo.value
  contextParameters: []
  contextReceivers: []
  getter: KaPropertyGetterSymbol:
    anchorPsi: KtProperty
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    hasStableParameterNames: true
    isActual: false
    isCompanion: false
    isExpect: false
    isExtension: false
    isExternal: false
    isInline: false
    isNotDefault: false
    isOverride: false
    location: PROPERTY
    modality: FINAL
    origin: SOURCE
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: [
        KaUsualClassType:
          annotations: []
          typeArguments: []
          type: kotlin/String
      ]
      type: kotlin/collections/List<kotlin/String>
    typeParameters: []
    valueParameters: []
    visibility: PUBLIC
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: Foo
    getContainingFileSymbol: KaFileSymbol(explicitBackingFieldSmartcast.kt)
    getContainingJvmClassName: Foo
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    javaMethodName: getValue
    importableFqName: null
  hasBackingField: true
  hasGetter: true
  hasSetter: false
  initializer: null
  isActual: false
  isCompanion: false
  isConst: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isLateInit: false
  isOverride: false
  isStatic: false
  isVal: true
  location: CLASS
  modality: FINAL
  name: value
  origin: SOURCE
  primaryConstructorParameter: null
  psi: KtProperty
  realPsi: KtProperty
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: [
      KaUsualClassType:
        annotations: []
        typeArguments: []
        type: kotlin/String
    ]
    type: kotlin/collections/List<kotlin/String>
  setter: null
  typeParameters: []
  visibility: PUBLIC
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: Foo
  getContainingFileSymbol: KaFileSymbol(explicitBackingFieldSmartcast.kt)
  getContainingJvmClassName: Foo
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  isInline: false
  importableFqName: null
