KaKotlinPropertySymbol:
  anchorPsi: KtParameter
  annotations: []
  backingFieldSymbol: KaBackingFieldSymbol:
    anchorPsi: KtParameter
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    isActual: false
    isCompanion: false
    isDelegated: false
    isExpect: false
    isExtension: false
    isExternal: false
    isNotDefault: false
    isVal: true
    location: PROPERTY
    modality: FINAL
    name: field
    origin: PROPERTY_BACKING_FIELD
    owningProperty: KaKotlinPropertySymbol(/Test.property)
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Boolean
    typeParameters: []
    visibility: PRIVATE
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: Test
    getContainingFileSymbol: KaFileSymbol(openConstructorProperty.kt)
    getContainingJvmClassName: Test
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    importableFqName: null
  callableId: /Test.property
  contextParameters: []
  contextReceivers: []
  getter: KaPropertyGetterSymbol:
    anchorPsi: KtParameter
    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: OPEN
    origin: SOURCE
    psi: null
    realPsi: null
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Boolean
    typeParameters: []
    valueParameters: []
    visibility: PUBLIC
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: Test
    getContainingFileSymbol: KaFileSymbol(openConstructorProperty.kt)
    getContainingJvmClassName: Test
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    javaMethodName: getProperty
    importableFqName: null
  hasBackingField: true
  hasGetter: true
  hasSetter: false
  initializer: KaNonConstantInitializerValue(open val property: Boolean)
  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: OPEN
  name: property
  origin: SOURCE
  primaryConstructorParameter: KaValueParameterSymbol:
    anchorPsi: KtParameter
    annotations: []
    callableId: null
    contextParameters: []
    contextReceivers: []
    hasDeclaredDefaultValue: false
    hasDefaultValue: false
    isActual: false
    isCompanion: false
    isCrossinline: false
    isDelegated: false
    isExpect: false
    isExtension: false
    isExternal: false
    isImplicitLambdaParameter: false
    isNoinline: false
    isVal: true
    isVararg: false
    location: LOCAL
    modality: FINAL
    name: property
    origin: SOURCE
    primaryConstructorProperty: KaKotlinPropertySymbol(/Test.property)
    psi: KtParameter
    realPsi: KtParameter
    receiverParameter: null
    returnType: KaUsualClassType:
      annotations: []
      typeArguments: []
      type: kotlin/Boolean
    typeParameters: []
    visibility: PUBLIC
    getContainingFileSymbol: KaFileSymbol(openConstructorProperty.kt)
    getContainingJvmClassName: Test
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    importableFqName: null
  psi: KtParameter
  realPsi: null
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: kotlin/Boolean
  setter: null
  typeParameters: []
  visibility: PUBLIC
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: Test
  getContainingFileSymbol: KaFileSymbol(openConstructorProperty.kt)
  getContainingJvmClassName: Test
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  isInline: false
  importableFqName: null
